Logic of graphs

#	Item
41	A Proof Procedure Using Connection Graphs ROBERT K O W A L S K I University of Edinburgh, Edinburgh, Scotland ABSTRACT. Various deficiencies of resolution systems are investigated and a new theorem-proving system designe Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:52:43 Mathematical logic Rules of inference Resolution Logic programming Unit propagation Logic in computer science SL Cons First-order logic Theoretical computer science Mathematics Automated theorem proving
42	Mathematical Logic with Diagrams Based on the Existential Graphs of Peirce Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2008-01-27 23:15:42 Charles Sanders Peirce Diagrams Philosophical logic Existential graph Logical graph First-order logic Propositional calculus Well-formed formula Function Logic Mathematical logic Mathematics